| |
|
|
| Registros recuperados : 57 | |
| 3. |  | GARCIA, R. J. F.; PIRANI, J. R. Análise florística, ecológica e fitogeográfica do Núcleo Curucutu, Parque Estadual da Serra do Mar (São Paulo, SP), com ênfase mos campos junto à crista da Serra do Mar. Hoehnea, São Paulo, v. 32, n. 1, p. 1-48, abr. 2005.| Biblioteca(s): Embrapa Florestas. |
|   |
| 4. | | FORZZA, R. C.; BAUMGRATZ, J. F. A.; COSTA, A.; HOPKINS, M.; LEITMAN, P. M.; LOHMANN, L. G.; MARTINELLI, G.; MORIM, M. P.; COELHO, M. A. N.; PEIXOTO, A. L.; PIRANI, J. R.; QUEIROZ, L. P.; STEHMANN, J. R.; WALTER, B. M. T.; ZAPII, D. As angiospermas do Brasil. In: FORZZA, R. C.; BAUMGRATZ, J. F.; BICUDO, C. E. M.; CARVALHO JÚNIOR, A. A.; COSTA, A.; COSTA, D. P.; HOPKINS, M.; LEITMAN, P. M.; LOHMANN, L. G.; MAIA, L. C.; MARTINELLI, G.; MENEZES, M.; MORIM, M. P.; COELHO, M. A. N.; PEIXOTO, A. L.; PIRANI, J. R.; PRADO, J.; QUEIROZ, L. P.; SOUZA, V. C.; STEHMANN, J. R.; SYLVESTRE, L. S.; WALTER, B. M. T.; ZAPPI, D. (Ed.). Catálogo de plantas e fungos do Brasil Rio de Janeiro: Andrea Jakobsson Estúdio: Instituto de Pesquisas Jardim Botânico do Rio de Janeiro, 2010. p. 78-89| Biblioteca(s): Embrapa Recursos Genéticos e Biotecnologia. |
| |
| 6. | | ZAPP, D.; LUCAS, E.; STANNARD, B. L.; LUGHADHA, E. N.; PIRANI, J. R.; QUEIROZ, L. P.; ALKINS, S.; HIND, N.; GIULIETTI, A. HARLEY, R. M.; MAYO, S. J.; CARVALHO, A. M. de. Biodiversidade e conservação na Chapada Diamantina, Bahia: Catolés, um estudo de caso. In: ARAÚJO, E. de L.; MOURA, A. do N.; SAMPAIO, V. de S. B.; GESTINANI, L. M. de S.; CARNEIRO, J. de M. T. (Ed.). Biodiversidade, conservação e uso sustentável da flora do Brasil. Recife: SBB/UFRPE, 2002. p. 87-89.| Biblioteca(s): Embrapa Semiárido. |
| |
| 8. | | FILARDI, F. L. R.; BARROS, F. de; BAUMGRATZ, J. F. A.; BICUDO, C. E. M.; CAVALCANTI, T. B.; COELHO, M. A. N.; COSTA, A. F.; COSTA, D. P.; GOLDENBERG, R.; LABIAK, P. H.; LANNA, J. M.; LEITMAN, P.; LOHMANN, L. G.; MAIA, L. C.; MASANO, V. F.; MORIM, M. P.; PERALTA, D. F.; PIRANI, J. R.; PRADO, J.; ROQUE, N.; SECCO, R. S.; STEHMANN, J. R.; SYLVESTRE, L. S.; VIANA, P. L.; WALTER, B. M. T.; ZIMBRÃO, G.; FORZZA, R. C. Brazilian Flora 2020: Innovation and collaboration to meet Target 1 of the Global Strategy for Plant Conservation (GSPC). Rodriguésia, v. 69, n. 4, p. 1513-1527. 2018.| Biblioteca(s): Embrapa Recursos Genéticos e Biotecnologia. |
|  |
| 10. | | GIULIETTI, A. M.; HARLEY, R. M.; QUEIROZ, L. P. de; WANDERLEY, M. das G. L.; PIRANI, J. R. Caracterizacao e endemismos nos campos rupestres da Cadeia do Espinhaco. In: CAVALCANTI, T.B.; WALTER, B.M.T., org. Topicos atuais em botanica. Brasilia: SBB / Embrapa Recursos e Biotecnologia, 2000. p.311-318. Palestra convidada do 51o. Congresso Nacional de Botanica, Brasilia, 2000.| Biblioteca(s): Embrapa Cerrados. |
| |
| 11. | | FORZZA, R. C.; BAUMGRATZ, J. F.; BICUDO, C. E. M.; CARVALHO JÚNIOR, A. A.; COSTA, A.; COSTA, D. P.; HOPKINS, M.; LEITMAN, P. M.; LOHMANN, L. G.; MAIA, L. C.; MARTINELLI, G.; MENEZES, M.; MORIM, M. P.; COELHO, M. A. N.; PEIXOTO, A. L.; PIRANI, J. R.; PRADO, J.; QUEIROZ, L. P.; SOUZA, V. C.; STEHMANN, J. R.; SYLVESTRE, L. S.; WALTER, B. M. T.; ZAPPI, D. (ed.). Catálogo de plantas e fungos do Brasil. Rio de Janeiro: Instituto de Pesquisas Jardim Botânico do Rio de Janeiro: Andrea Jakobsson Estúdio, 2010. 2 v.| Biblioteca(s): Embrapa Amazônia Oriental. |
| |
| 12. | | FORZZA, R. C.; BAUMGRATZ, J. F. A.; BICUDO, C. E. M.; CARVALHO JÚNIOR, A. A.; COSTA, A.; COSTA, D. P.; HOPKINS, M.; LEITMAN, P. M.; LOHMANN, L. G.; MAIA, L. C.; MARTINELLI, G.; MENEZES, M.; MORIM, M. P.; COELHO, M. A. N.; PEIXOTO, A. L.; PIRANI, J. R.; PRADO, J.; QUEIROZ, L. P.; SOUZA, V. C.; STEHMANN, J. R.; SYLVESTRE, L. S.; WALTER, B. M. T.; ZAPPI, D. (Ed.). Catálogo de plantas e fungos do Brasil. Rio de Janeiro: Andrea Jakobsson Estúdio: Instituto de Pesquisas Jardim Botânico do Rio de Janeiro, 2010. 2 v.| Biblioteca(s): Embrapa Florestas; Embrapa Semiárido. |
| |
| 13. | | FORZZA, R. C.; BAUMGRATZ, J. F. A.; BICUDO, C. E. M.; CARVALHO JÚNIOR, A. A.; COSTA, A.; COSTA, D. P.; HOPKINS, M.; LEITMAN, P. M.; LOHMANN, L. G.; MAIA, L. C.; MARTINELLI, G.; MENEZES, M.; MORIM, M. P.; COELHO, M. A. N.; PEIXOTO, A. L.; PIRANI, J. R.; PRADO, J.; QUEIROZ, L. P.; SOUZA, V. C.; STEHMANN, J. R.; SYLVESTRE, L. S.; WALTER, B. M. T.; ZAPPI, D. (ed.). Catálogo de plantas e fungos do Brasil Rio de Janeiro: Andrea Jakobsson Estúdio: Instituto de Pesquisas Jardim Botânico do Rio de Janeiro, 2010.| Biblioteca(s): Embrapa Recursos Genéticos e Biotecnologia. |
| |
| 14. | | COSTA, A. F.; WALTER, B. M. T.; BICUDO, C.; MOURA, C. W. N.; PERALTA, D. F.; COSTA, D. P.; FILARDI, F. R.; LIMA, H. C.; PRADO, J.; STEHMANN, J. R.; BAUMGRATZ, J. R. A.; PIRANI, J. R.; SYLVESTRE, L. S.; MAIA, L. C.; LOHMANN, L. G.; QUEIROZ, L. P.; NADRUZ, M.; SOARES, M. de L.; BARBOSA, M. R.; MENEZES, M.; MORIM, M. P.; ROQUE, N.; LABIAK, P. H.; VIANA, P. L.; GOLDENBERG, R.; SECCO, R.; CAVALCANTI, T. B.; MANSANO, V. F.; SOUZA, V. C. Coleção Flora do Brasil 2020. Rio de Janeiro: Jardim Botânico do Rio de Janeiro, 2021 Bilingüe (português e inglês). Na publicação: Taciana Cavalcanti.| Biblioteca(s): Embrapa Recursos Genéticos e Biotecnologia. |
| |
| 16. | | GIULETTI, A. M.; WANDERLEY, M. das G. L.; WAGNER, H. M. L.; PIRANI, J. R.; PARRA, L. R. Estudos em "Sempre Vivas": taxonomia com enfase nas especies de Minas Gerais, Brasil. Acta Botanica Brasilica, Brasilia, v.10, n.2, p.329-377, 1996.| Biblioteca(s): Embrapa Cerrados. |
| |
| 17. | | VASCONCELOS, T. N. C.; ALCANTARA, S.; ANDRINO, C. O.; FOREST, F.; REGINATO, M.; SIMON, M. F.; PIRANI, J. R. Fast diversification through a mosaic of evolutionary histories characterizes the endemic flora of ancient Neotropical mountains. Proceedings of the Royal Society B, v. 287, n. 1923, 2020.| Biblioteca(s): Embrapa Recursos Genéticos e Biotecnologia. |
|  |
| Registros recuperados : 57 | |
|
|
|
 | Acesso ao texto completo restrito à biblioteca da Embrapa Agricultura Digital. Para informações adicionais entre em contato com cnptia.biblioteca@embrapa.br. |
Registro Completo
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
19/02/2002 |
|
Data da última atualização: |
21/07/2005 |
|
Autoria: |
MALDONADO, J. C.; CHAIM, M. L.; JINO, M. |
|
Afiliação: |
USP; EMBRAPA-CNPTIA; UNICAMP. |
|
Título: |
Using the essential branch concept to support data-flow based testing criteria application. |
|
Ano de publicação: |
1992 |
|
Fonte/Imprenta: |
In: SOFTWARE ENGENEERING AND ITS APPLICATIONS CONFERENCE, 1992, Toulouse, France. Proceedings... (S.I., 1992?). p. 613-623. |
|
Idioma: |
Inglês |
|
Conteúdo: |
The use of the essential branch concept in the context of data flow based criteria is discussed. A new version of Chusho´s Reduction Algorithm (CHU87), named the Data Flow Reduction Algorithm, is presented and the automation of the potential uses criteria - a data-flow based structural testing criteria - using these concept is discussed. The aim is to estabilish a uniform and reusable mechanism to support automated structural testing criteria application and evaluation. These concepts are illustrated using an example from the benchmark we have carried out using POKETOOL, a testing tool for empirical evaluation of the Potential Use Criteria. Advantages of using primitive arcs are briefly analyzed. |
|
Palavras-Chave: |
Data-flow based testing criteria; Primitive arcs; Structural testing; Testing tool. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01345naa a2200193 a 4500
001 1004475
005 2005-07-21
008 1992 bl --- 0-- u #d
100 1 $aMALDONADO, J. C.
245 $aUsing the essential branch concept to support data-flow based testing criteria application.
260 $c1992
520 $aThe use of the essential branch concept in the context of data flow based criteria is discussed. A new version of Chusho´s Reduction Algorithm (CHU87), named the Data Flow Reduction Algorithm, is presented and the automation of the potential uses criteria - a data-flow based structural testing criteria - using these concept is discussed. The aim is to estabilish a uniform and reusable mechanism to support automated structural testing criteria application and evaluation. These concepts are illustrated using an example from the benchmark we have carried out using POKETOOL, a testing tool for empirical evaluation of the Potential Use Criteria. Advantages of using primitive arcs are briefly analyzed.
653 $aData-flow based testing criteria
653 $aPrimitive arcs
653 $aStructural testing
653 $aTesting tool
700 1 $aCHAIM, M. L.
700 1 $aJINO, M.
773 $tIn: SOFTWARE ENGENEERING AND ITS APPLICATIONS CONFERENCE, 1992, Toulouse, France. Proceedings... (S.I., 1992?). p. 613-623.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
